
add_executable(state_test state_test.cc Context.cc Lift.cc)
target_link_libraries(state_test)
